Nuprl Definition : ma-da
0,22
postcript
pdf
M
.da(
a
) == 1of(2of(
M
))(
a
)?Top
latex
clarification:
M
.da(
a
) == fpf-cap(1of(2of(
M
));KindDeq;
a
;Top)
latex
Definitions
Top
,
KindDeq
,
2of(
t
)
,
1of(
t
)
,
f
(
x
)?
z
FDL editor aliases
ma-da
origin